Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction
نویسنده
چکیده
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languages and models. In this article, we continue this work by employing theories from Formal Ontology, Cognitive Psychology and Philosophical Logic to systematically investigate some important modal aspects of the ontological categories represented in structural conceptual models. In particular, we focus on Object Types and Part-Whole Relations, formally characterizing some modal properties that motivate the proposal of a number of distinctions within these categories. In addition, we show how two types of modality known in philosophical logic (de re/de dicto modality) can be used to address some subtle issues that appear in conceptual diagrams when different sorts of object types and part-whole relations are combined.
منابع مشابه
Quantified Modal Logic and the Plural De Re
within a language whose only modal operators are the box and the diamond; other modal idioms cannot be expressed within such a language at all. Nonetheless, quantified modal logic has enjoyed considerable success in uncovering and explaining ambiguities in modal sentences and fallacies in modal reasoning. A prime example of this success is the now standard analysis of the distinction between mo...
متن کاملContradictions, objects, and belief
We show how some model-theoretical devices (local reasoning, modes of presentation, an additional accessibility relation) can be combined in first-order modal logic to formalize the consequence relation that includes de dicto and de re contradictory beliefs. Instead of special " sense objects " , appearances of objects in an agent's belief are introduced and presented as ordered pairs consistin...
متن کاملImage-based de re thought
In this paper I argue that in addition to the three generally recognized kinds of de re thought, i.e., perception-based, memory-based and communication-based thought, there is a kind of de re thought, which is based on image and cannot be assimilated to any of these recognized kinds of de re thought. I call it simply image-based de re thought. Although image-based thought shares some similariti...
متن کاملIntensional Logic and the Irreducible Contrast between de dicto and de re
The paper deals with hot problems of current semantics that are interconnected with a fundamental question What is the meaning of a natural language expression? Our explication of the meaning is based on the key notion of Tichy’s Transparent Intensional Logic (TIL), namely that of the logical construction, an entity structured from the ‘algorithmic point of view’ (procedure), the structure of w...
متن کامل